Nuprl Definition : Rinit 0,22
@loc x initially v:T == inr(inr(inl(<loc,T,x,v>))) 
latex

Definitionsinr(x), inl(x), <a,b>
FDL editor aliasesRinit

origin